Brewka, Gerhard: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Skeptical reason maintenance and belief revision

Cees Witteveen, Gerhard Brewka

Journal:

Artificial Intelligence

Year:

1993

Language:

english

File:

PDF, 1.72 MB

english, 1993

2

Answer set programming at a glance

Brewka, Gerhard, Eiter, Thomas, Truszczyński, Mirosław

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 4.04 MB

english, 2011

3

Strong inconsistency

Brewka, Gerhard, Thimm, Matthias, Ulbricht, Markus

Journal:

Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 898 KB

english, 2019

4

Cumulative default logic: In defense of nonmonotonic inference rules

Journal:

Artificial Intelligence

Year:

1991

Language:

english

File:

PDF, 1.06 MB

english, 1991

5

Handling and measuring inconsistency in non-monotonic logics

Ulbricht, Markus, Thimm, Matthias, Brewka, Gerhard

Journal:

Artificial Intelligence

Year:

2020

File:

PDF, 1.07 MB

2020

6

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments

Brewka, Gerhard, Ellmauthaler, Stefan, Gonçalves, Ricardo, Knorr, Matthias, Leite, João, Pührer, Jörg

Journal:

Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 1.24 MB

english, 2018

7

How to Do Things with Worlds: on Formalizing Actions and Plans

BREWKA, GERHARD, HERTZBERG, JOACHIM

Journal:

Journal of Logic and Computation

Year:

1993

Language:

english

File:

PDF, 896 KB

english, 1993

8

Qualitative choice logic

Gerhard Brewka, Salem Benferhat, Daniel Le Berre

Journal:

Artificial Intelligence

Year:

2004

Language:

english

File:

PDF, 370 KB

english, 2004

9

Preferred answer sets for extended logic programs

Gerhard Brewka, Thomas Eiter

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 442 KB

english, 1999

10

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Qualitative spatial representation and reasoning techniques

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 2.74 MB

english, 1997

11

Non-Monotonic and Uncertain Reasoning in Cognition || Answer Sets and Qualitative Decision Making

Journal:

Year:

2005

Language:

english

File:

PDF, 1.66 MB

english, 2005

12

Advanced Solving Technology for Dynamic and Reactive Applications

Brewka, Gerhard, Ellmauthaler, Stefan, Kern-Isberner, Gabriele, Obermeier, Philipp, Ostrowski, Max, Romero, Javier, Schaub, Torsten, Schieweck, Steffen

Journal:

KI - Künstliche Intelligenz

Year:

2018

Language:

english

File:

PDF, 677 KB

english, 2018

13

Answer Set Programming: An Introduction to the Special Issue

Brewka, Gerhard, Eiter, Thomas, Truszczynski, Miroslaw

Journal:

Year:

2016

File:

PDF, 421 KB

2016

14

Logic Programs with Ordered Disjunction

Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen

Journal:

Computational Intelligence

Year:

2004

Language:

english

File:

PDF, 207 KB

english, 2004

15

Declarative Representation of Revision Strategies*

Brewka, Gerhard

Journal:

Journal of Applied Non-Classical Logics

Year:

2001

Language:

english

File:

PDF, 189 KB

english, 2001

16

Representing Meta-Knowledge in Poole-Systems

Journal:

Year:

2001

Language:

english

File:

PDF, 276 KB

english, 2001

17

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Fast grid-based position tracking for mobile robots

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 1.13 MB

english, 1997

18

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || External analogy in inductive theorem proving

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 955 KB

english, 1997

19

[Lecture Notes in Computer Science] Nonmonotonic and Inductive Logic Volume 659 || Deductive generalization in a default logic setting

Brewka, Gerhard, Jantke, Klaus P., Schmitt, Peter H.

Year:

1993

Language:

english

File:

PDF, 546 KB

english, 1993

20

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || A contribution to the question of authenticity of Rhesus using part-of-speech tagging

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 870 KB

english, 1997

21

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Parsing N best trees from a word lattice

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 743 KB

english, 1997

22

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Tabu search vs. Random walk

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 914 KB

english, 1997

23

[Lecture Notes in Computer Science] Nonmonotonic and Inductive Logic Volume 659 || Retrieval in case-based reasoning using preferred subtheories

Brewka, Gerhard, Jantke, Klaus P., Schmitt, Peter H.

Year:

1993

Language:

english

File:

PDF, 597 KB

english, 1993

24

[Lecture Notes in Computer Science] Nonmonotonic and Inductive Logic Volume 659 || Predicate synthesis from formal specifications: Using mathematical induction for finding the preconditions of theorems

Brewka, Gerhard, Jantke, Klaus P., Schmitt, Peter H.

Year:

1993

Language:

english

File:

PDF, 1.43 MB

english, 1993

25

[Foundations of Artificial Intelligence] Handbook of Knowledge Representation Volume 3 || Chapter 6 Nonmonotonic Reasoning

Brewka, Gerhard

Year:

2008

Language:

english

File:

PDF, 331 KB

english, 2008

26

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Modelling subjective distances

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

27

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Representation and processing of qualitative orientation knowledge

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 870 KB

english, 1997

28

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 (21st Annual German Conference on Artificial Intelligence Freiburg, Germany, September 9â12, 1997 Proceedings) || Agents in proactive environments

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

File:

PDF, 287 KB

1997

29

[Lecture Notes in Computer Science] Nonmonotonic and Inductive Logic Volume 659 || More about learning elementary formal systems

Brewka, Gerhard, Jantke, Klaus P., Schmitt, Peter H.

Year:

1993

Language:

english

File:

PDF, 527 KB

english, 1993

30

[Lecture Notes in Computer Science] KI 2001: Advances in Artificial Intelligence Volume 2174 || Towards Distributed Configuration

Baader, Franz, Brewka, Gerhard, Eiter, Thomas

Year:

2001

Language:

english

File:

PDF, 176 KB

english, 2001

31

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Integration of image sequence evaluation and fuzzy metric temporal logic programming

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 1.55 MB

english, 1997

32

[Lecture Notes in Computer Science] Nonmonotonic and Inductive Logic Volume 659 || A polynomial time algorithm for finding finite unions of tree pattern languages

Brewka, Gerhard, Jantke, Klaus P., Schmitt, Peter H.

Year:

1993

Language:

english

File:

PDF, 666 KB

english, 1993

33

Preferences and Nonmonotonic Reasoning

Brewka, Gerhard, Niemela, Ilkka, Truszczynski, Miroslaw

Journal:

Year:

2008

Language:

english

File:

PDF, 417 KB

english, 2008

34

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || An axiomatic approach to the spatial relations underlying left-right and in front of-behind

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 1.09 MB

english, 1997

35

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Many-sorted logic in a learning theorem prover

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

File:

PDF, 1.09 MB

1997

36

[Lecture Notes in Computer Science] KI 2001: Advances in Artificial Intelligence Volume 2174 || Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis

Baader, Franz, Brewka, Gerhard, Eiter, Thomas

Year:

2001

Language:

english

File:

PDF, 264 KB

english, 2001

37

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Labelled quantified modal logics

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 1.01 MB

english, 1997

38

[Lecture Notes in Computer Science] Nonmonotonic and Inductive Logic Volume 659 || Dual types of hypotheses in inductive inference

Brewka, Gerhard, Jantke, Klaus P., Schmitt, Peter H.

Year:

1993

Language:

english

File:

PDF, 1.40 MB

english, 1993

39

[Lecture Notes in Computer Science] Nonmonotonic and Inductive Logic Volume 659 || Probabilistic inference of approximations

Brewka, Gerhard, Jantke, Klaus P., Schmitt, Peter H.

Year:

1993

Language:

english

File:

PDF, 332 KB

english, 1993

40

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Conceptualizing Adjectives

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

41

[Lecture Notes in Computer Science] Nonmonotonic and Inductive Logic Volume 659 || Monotonic versus non-monotonic language learning

Brewka, Gerhard, Jantke, Klaus P., Schmitt, Peter H.

Year:

1993

Language:

english

File:

PDF, 862 KB

english, 1993

42

Well-Founded Semantics for Default Logic

Brewka, Gerhard, Gottlob, Georg

Journal:

Fundamenta Informaticae

Year:

1997

File:

PDF, 882 KB

1997

43

Preface

Gerhard Brewka, Pavlos Peppas

Journal:

Year:

2005

Language:

english

File:

PDF, 61 KB

english, 2005

44

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Making objects more knowledgeable

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 1.08 MB

english, 1997

45

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Connection Cutting for Contraction Free Logic

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 326 KB

english, 1997

46

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || A graphical user interface for an ECG classifier system

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 625 KB

english, 1997

47

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Defining decision rules in signed horn clauses

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 769 KB

english, 1997

48

Answer Sets and Qualitative Decision Making

Journal:

Year:

2005

Language:

english

File:

PDF, 140 KB

english, 2005

49

[Lecture Notes in Computer Science] Nonmonotonic and Inductive Logic Volume 659 || A tutorial on Nonmonotonic Reasoning

Brewka, Gerhard, Jantke, Klaus P., Schmitt, Peter H.

Year:

1993

Language:

english

File:

PDF, 3.97 MB

english, 1993

50

[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Causation and nonmonotonic temporal reasoning

Brewka, Gerhard, Habel, Christopher, Nebel, Bernhard

Year:

1997

Language:

english

File:

PDF, 955 KB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски